1. Beweistheorie
پدیدآورنده : Schutte, Kurt
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Proof theory
رده :
QA
9
.
S377
2. Proof Theory
پدیدآورنده : by Kurt Schütte.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Mathematics.
3. Proof theory
پدیدآورنده : / Kurt Schutte
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : Proof theory
رده :
511
.
3
S385
4. #Proof theory
پدیدآورنده : #Kurt Schutte , translation from the German by J. N. Crossley
کتابخانه: Central Library of Esfehan University of Technology (Esfahan)
موضوع : Proof theory
رده :
#
QA
،#.
S3813
5. Proof theory
پدیدآورنده : Schutte, Kurt
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Proof theory
رده :
QA
9
.
54
.
S3813
7. Proof theory, Beweistheorie.English
پدیدآورنده : Schutte, K.)Kurt(, Kurt Schutte ; translation from the German by J. N. Crossley
کتابخانه: Library and Documentation Center of Kurdistan University (Kurdistan)
موضوع : ، Proof theory
رده :
QA
9
.
54
.
S3813
8. Proof theory of impredicative subsystems of analysis /
پدیدآورنده : Wilfried Buchholz, Kurt Schütte
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Mathematical analysis,Proof theory
9. Vollständige Systeme modaler und intuitionistischer Logik
پدیدآورنده : von Kurt Schütte.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Mathematics.
10. Vollstandige Systeme modaler und intuitionistischer Logik
پدیدآورنده : Schutte, Kurt
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
S3793
11. Vollstandige systeme modaler und intuitioni tischor logik
پدیدآورنده : Schutte, Kurt
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : ، Model theory,، Logic symbolic and mathematical
رده :
QA
9
.
7
.
S39V6
12. Vollstandige systeme modaler und intuitionistischer Logik
پدیدآورنده : Schutte, Kurt
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
S46
1968
13. proof theory
پدیدآورنده : Schutte, Kurt
کتابخانه: Central Library and Documents Center of Al-Zahra University (Tehran)
موضوع : ، Proof theory
رده :
QA
9
.
54
.
S3813
